Повнотекстовий пошук
Пошуковий запит: (<.>A=Визовитин Н$<.>) |
Загальна кількість знайдених документів : 1
|
1. |
Визовитин Н. В. Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри [Електронний ресурс] / Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко // Кибернетика и системный анализ. - 2015. - Т. 51, № 2. - С. 62-74. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2015_51_2_7 Представлена новая система анализа и верификации Use Case Maps (UCM) спецификаций с использованием раскрашенных сетей Петри и системы верификации SPIN. Стандартизованная нотация UCM - удобное графическое средство формального описания функциональных требований. Описаны алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри, а также трансляции последних во входной язык Promela системы SPIN. Приведен вывод оценки сложности получаемых раскрашенных сетей Петри. Работа представленных алгоритмов и инструментов демонстрируется на примере верификации коммуникационного протокола с локализацией и исправлением ошибок в исходной UCM-спецификации.
|
|
|